#include<bits/stdc++.h>
#define int long long
using namespace std;
typedef pair<int,int> pii;
inline int d(int x,int y){
  return x/y+!!(x%y);
}
main(){
  freopen("xinyue.in","r",stdin);
  freopen("xinyue.out","w",stdout);
  ios::sync_with_stdio(false);
  cin.tie(0); cout.tie(0);
  int n,a0; cin>>n>>a0;
  vector<pii> a(n);
  for(auto &i:a)cin>>i.first>>i.second;
  sort(a.begin(),a.end());
  if(n<=1000){
    int mx=a[n-1].first;
    vector<int> f(n,1e18);
    for(int i=0;i<n;i++)
      for(int j=i,c=0;~j;j--){
        f[i]=min(f[i],(j?f[j-1]:0)+(d(a[i].second,j?a[j-1].first:a0)-1)*a[i].first+c);
        if(j)c+=(d(a[j-1].second,mx)-1)*a[j-1].first;
      }
    cout<<f[n-1]<<endl;
  }
  else{
    reverse(a.begin(),a.end());
    for(int i=n-1;i;i--)
      swap(a[i],a[i-1]);
    swap(a[1],a[2]);
    int H=0,mx=a0;
    for(auto e:a){
      int a,h; tie(a,h)=e;
      int t=d(h,mx);
      H+=(t-1)*a,mx=max(mx,a);
    }
    cout<<H<<endl;
  }
  return 0;
}